Optimal. Leaf size=183 \[ -\frac {\cos ^3(c+d x)}{13 d (a+a \sin (c+d x))^8}-\frac {5 \cos ^3(c+d x)}{143 a d (a+a \sin (c+d x))^7}-\frac {20 \cos ^3(c+d x)}{1287 a^2 d (a+a \sin (c+d x))^6}-\frac {20 \cos ^3(c+d x)}{3003 a^3 d (a+a \sin (c+d x))^5}-\frac {8 \cos ^3(c+d x)}{3003 d \left (a^2+a^2 \sin (c+d x)\right )^4}-\frac {8 \cos ^3(c+d x)}{9009 a^2 d \left (a^2+a^2 \sin (c+d x)\right )^3} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.18, antiderivative size = 183, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 2, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.095, Rules used = {2751, 2750}
\begin {gather*} -\frac {20 \cos ^3(c+d x)}{3003 a^3 d (a \sin (c+d x)+a)^5}-\frac {8 \cos ^3(c+d x)}{9009 a^2 d \left (a^2 \sin (c+d x)+a^2\right )^3}-\frac {8 \cos ^3(c+d x)}{3003 d \left (a^2 \sin (c+d x)+a^2\right )^4}-\frac {20 \cos ^3(c+d x)}{1287 a^2 d (a \sin (c+d x)+a)^6}-\frac {5 \cos ^3(c+d x)}{143 a d (a \sin (c+d x)+a)^7}-\frac {\cos ^3(c+d x)}{13 d (a \sin (c+d x)+a)^8} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2750
Rule 2751
Rubi steps
\begin {align*} \int \frac {\cos ^2(c+d x)}{(a+a \sin (c+d x))^8} \, dx &=-\frac {\cos ^3(c+d x)}{13 d (a+a \sin (c+d x))^8}+\frac {5 \int \frac {\cos ^2(c+d x)}{(a+a \sin (c+d x))^7} \, dx}{13 a}\\ &=-\frac {\cos ^3(c+d x)}{13 d (a+a \sin (c+d x))^8}-\frac {5 \cos ^3(c+d x)}{143 a d (a+a \sin (c+d x))^7}+\frac {20 \int \frac {\cos ^2(c+d x)}{(a+a \sin (c+d x))^6} \, dx}{143 a^2}\\ &=-\frac {\cos ^3(c+d x)}{13 d (a+a \sin (c+d x))^8}-\frac {5 \cos ^3(c+d x)}{143 a d (a+a \sin (c+d x))^7}-\frac {20 \cos ^3(c+d x)}{1287 a^2 d (a+a \sin (c+d x))^6}+\frac {20 \int \frac {\cos ^2(c+d x)}{(a+a \sin (c+d x))^5} \, dx}{429 a^3}\\ &=-\frac {\cos ^3(c+d x)}{13 d (a+a \sin (c+d x))^8}-\frac {5 \cos ^3(c+d x)}{143 a d (a+a \sin (c+d x))^7}-\frac {20 \cos ^3(c+d x)}{1287 a^2 d (a+a \sin (c+d x))^6}-\frac {20 \cos ^3(c+d x)}{3003 a^3 d (a+a \sin (c+d x))^5}+\frac {40 \int \frac {\cos ^2(c+d x)}{(a+a \sin (c+d x))^4} \, dx}{3003 a^4}\\ &=-\frac {\cos ^3(c+d x)}{13 d (a+a \sin (c+d x))^8}-\frac {5 \cos ^3(c+d x)}{143 a d (a+a \sin (c+d x))^7}-\frac {20 \cos ^3(c+d x)}{1287 a^2 d (a+a \sin (c+d x))^6}-\frac {20 \cos ^3(c+d x)}{3003 a^3 d (a+a \sin (c+d x))^5}-\frac {8 \cos ^3(c+d x)}{3003 d \left (a^2+a^2 \sin (c+d x)\right )^4}+\frac {8 \int \frac {\cos ^2(c+d x)}{(a+a \sin (c+d x))^3} \, dx}{3003 a^5}\\ &=-\frac {\cos ^3(c+d x)}{13 d (a+a \sin (c+d x))^8}-\frac {5 \cos ^3(c+d x)}{143 a d (a+a \sin (c+d x))^7}-\frac {20 \cos ^3(c+d x)}{1287 a^2 d (a+a \sin (c+d x))^6}-\frac {20 \cos ^3(c+d x)}{3003 a^3 d (a+a \sin (c+d x))^5}-\frac {8 \cos ^3(c+d x)}{9009 a^5 d (a+a \sin (c+d x))^3}-\frac {8 \cos ^3(c+d x)}{3003 d \left (a^2+a^2 \sin (c+d x)\right )^4}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.09, size = 78, normalized size = 0.43 \begin {gather*} -\frac {\cos ^3(c+d x) \left (1240+911 \sin (c+d x)+544 \sin ^2(c+d x)+236 \sin ^3(c+d x)+64 \sin ^4(c+d x)+8 \sin ^5(c+d x)\right )}{9009 a^8 d (1+\sin (c+d x))^8} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.26, size = 205, normalized size = 1.12
method | result | size |
risch | \(\frac {16 i \left (-4290 i {\mathrm e}^{6 i \left (d x +c \right )}+6006 \,{\mathrm e}^{7 i \left (d x +c \right )}-715 i {\mathrm e}^{4 i \left (d x +c \right )}-1287 \,{\mathrm e}^{5 i \left (d x +c \right )}+78 i {\mathrm e}^{2 i \left (d x +c \right )}+286 \,{\mathrm e}^{3 i \left (d x +c \right )}-i-13 \,{\mathrm e}^{i \left (d x +c \right )}\right )}{9009 d \,a^{8} \left ({\mathrm e}^{i \left (d x +c \right )}+i\right )^{13}}\) | \(107\) |
derivativedivides | \(\frac {-\frac {9056}{7 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{7}}+\frac {2672}{3 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{6}}+\frac {864}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{10}}-\frac {256}{13 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{13}}-\frac {4544}{11 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{11}}-\frac {188}{3 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{3}}-\frac {11680}{9 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{9}}+\frac {1472}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{8}}-\frac {480}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{5}}+\frac {14}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{2}}+\frac {200}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{4}}-\frac {2}{\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1}+\frac {128}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{12}}}{d \,a^{8}}\) | \(205\) |
default | \(\frac {-\frac {9056}{7 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{7}}+\frac {2672}{3 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{6}}+\frac {864}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{10}}-\frac {256}{13 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{13}}-\frac {4544}{11 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{11}}-\frac {188}{3 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{3}}-\frac {11680}{9 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{9}}+\frac {1472}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{8}}-\frac {480}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{5}}+\frac {14}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{2}}+\frac {200}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{4}}-\frac {2}{\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1}+\frac {128}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{12}}}{d \,a^{8}}\) | \(205\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 547 vs.
\(2 (171) = 342\).
time = 0.31, size = 547, normalized size = 2.99 \begin {gather*} -\frac {2 \, {\left (\frac {7111 \, \sin \left (d x + c\right )}{\cos \left (d x + c\right ) + 1} + \frac {51675 \, \sin \left (d x + c\right )^{2}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{2}} + \frac {171457 \, \sin \left (d x + c\right )^{3}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{3}} + \frac {451165 \, \sin \left (d x + c\right )^{4}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{4}} + \frac {785070 \, \sin \left (d x + c\right )^{5}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{5}} + \frac {1076790 \, \sin \left (d x + c\right )^{6}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{6}} + \frac {1051050 \, \sin \left (d x + c\right )^{7}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{7}} + \frac {810810 \, \sin \left (d x + c\right )^{8}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{8}} + \frac {435435 \, \sin \left (d x + c\right )^{9}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{9}} + \frac {183183 \, \sin \left (d x + c\right )^{10}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{10}} + \frac {45045 \, \sin \left (d x + c\right )^{11}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{11}} + \frac {9009 \, \sin \left (d x + c\right )^{12}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{12}} + 1240\right )}}{9009 \, {\left (a^{8} + \frac {13 \, a^{8} \sin \left (d x + c\right )}{\cos \left (d x + c\right ) + 1} + \frac {78 \, a^{8} \sin \left (d x + c\right )^{2}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{2}} + \frac {286 \, a^{8} \sin \left (d x + c\right )^{3}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{3}} + \frac {715 \, a^{8} \sin \left (d x + c\right )^{4}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{4}} + \frac {1287 \, a^{8} \sin \left (d x + c\right )^{5}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{5}} + \frac {1716 \, a^{8} \sin \left (d x + c\right )^{6}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{6}} + \frac {1716 \, a^{8} \sin \left (d x + c\right )^{7}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{7}} + \frac {1287 \, a^{8} \sin \left (d x + c\right )^{8}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{8}} + \frac {715 \, a^{8} \sin \left (d x + c\right )^{9}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{9}} + \frac {286 \, a^{8} \sin \left (d x + c\right )^{10}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{10}} + \frac {78 \, a^{8} \sin \left (d x + c\right )^{11}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{11}} + \frac {13 \, a^{8} \sin \left (d x + c\right )^{12}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{12}} + \frac {a^{8} \sin \left (d x + c\right )^{13}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{13}}\right )} d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.38, size = 339, normalized size = 1.85 \begin {gather*} \frac {8 \, \cos \left (d x + c\right )^{7} - 48 \, \cos \left (d x + c\right )^{6} - 196 \, \cos \left (d x + c\right )^{5} + 280 \, \cos \left (d x + c\right )^{4} + 735 \, \cos \left (d x + c\right )^{3} - 378 \, \cos \left (d x + c\right )^{2} - {\left (8 \, \cos \left (d x + c\right )^{6} + 56 \, \cos \left (d x + c\right )^{5} - 140 \, \cos \left (d x + c\right )^{4} - 420 \, \cos \left (d x + c\right )^{3} + 315 \, \cos \left (d x + c\right )^{2} + 693 \, \cos \left (d x + c\right ) + 1386\right )} \sin \left (d x + c\right ) + 693 \, \cos \left (d x + c\right ) + 1386}{9009 \, {\left (a^{8} d \cos \left (d x + c\right )^{7} + 7 \, a^{8} d \cos \left (d x + c\right )^{6} - 18 \, a^{8} d \cos \left (d x + c\right )^{5} - 56 \, a^{8} d \cos \left (d x + c\right )^{4} + 48 \, a^{8} d \cos \left (d x + c\right )^{3} + 112 \, a^{8} d \cos \left (d x + c\right )^{2} - 32 \, a^{8} d \cos \left (d x + c\right ) - 64 \, a^{8} d + {\left (a^{8} d \cos \left (d x + c\right )^{6} - 6 \, a^{8} d \cos \left (d x + c\right )^{5} - 24 \, a^{8} d \cos \left (d x + c\right )^{4} + 32 \, a^{8} d \cos \left (d x + c\right )^{3} + 80 \, a^{8} d \cos \left (d x + c\right )^{2} - 32 \, a^{8} d \cos \left (d x + c\right ) - 64 \, a^{8} d\right )} \sin \left (d x + c\right )\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 3405 vs.
\(2 (170) = 340\).
time = 106.18, size = 3405, normalized size = 18.61 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 4.83, size = 177, normalized size = 0.97 \begin {gather*} -\frac {2 \, {\left (9009 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{12} + 45045 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{11} + 183183 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{10} + 435435 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{9} + 810810 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{8} + 1051050 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{7} + 1076790 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{6} + 785070 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{5} + 451165 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{4} + 171457 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{3} + 51675 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{2} + 7111 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) + 1240\right )}}{9009 \, a^{8} d {\left (\tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) + 1\right )}^{13}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 8.12, size = 162, normalized size = 0.89 \begin {gather*} \frac {\sqrt {2}\,\cos \left (\frac {c}{2}+\frac {d\,x}{2}\right )\,\left (\frac {14983\,\cos \left (c+d\,x\right )}{2}-\frac {63921\,\sin \left (c+d\,x\right )}{2}+17605\,\cos \left (2\,c+2\,d\,x\right )-\frac {15365\,\cos \left (3\,c+3\,d\,x\right )}{4}-\frac {6943\,\cos \left (4\,c+4\,d\,x\right )}{4}+\frac {937\,\cos \left (5\,c+5\,d\,x\right )}{4}+\frac {77\,\cos \left (6\,c+6\,d\,x\right )}{4}+\frac {28743\,\sin \left (2\,c+2\,d\,x\right )}{4}+\frac {27027\,\sin \left (3\,c+3\,d\,x\right )}{4}-\frac {5005\,\sin \left (4\,c+4\,d\,x\right )}{4}-\frac {1079\,\sin \left (5\,c+5\,d\,x\right )}{4}+\frac {39\,\sin \left (6\,c+6\,d\,x\right )}{2}-21013\right )}{576576\,a^8\,d\,{\cos \left (\frac {c}{2}-\frac {\pi }{4}+\frac {d\,x}{2}\right )}^{13}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________